// Iup additional annotations
void IupSetAttribute(/*@null@*/ void *ih,
		const char *name, const char *value);

/*@printflike@*/ void IupSetfAttribute(/*@null@*/ void *ih, const char *name,
		const char *format,...);

/*@dependent@*/ void *IupSetAtt(/*@null@*/ const char *handle_name,
		void *ih, /*@null@*/ const char *name,...);

/*@dependent@*/ void *IupSetAttributes(/*@null@*/ void *ih,const char *str);

/*@null@*//*@dependent@*/ char *IupGetAttribute(/*@null@*/ void *ih,
		const char *name);

/*@dependent@*/ void *IupSetAtt(/*@null@*/ const char *handle_name,
		void *ih, const char *name, ...);

/*@dependent@*/ void *IupText(/*@null@*/ const char *action);

/*@dependent@*/ void *IupLabel(/*@null@*/ const char *title);

/*@dependent@*/ void *IupButton(/*@null@*/ const char *title,
		/*@null@*/ const char *action);

/*@dependent@*/ void *IupList(/*@null@*/ const char *action);

/*@dependent@*/ void *IupToggle(/*@null@*/ const char *title,
		/*@null@*/ const char *action);

/*@dependent@*/ void *IupVal(/*@null@*/ const char *type);

/*@dependent@*/ void *IupFrame(void *child);

/*@dependent@*/ void *IupTabs(void *child,...);

/*@dependent@*/ void *IupFill(void);

/*@dependent@*/ void *IupVbox(void *child,...);

/*@dependent@*/ void *IupHbox(void *child,...);

/*@dependent@*/ void *IupCbox(void *child,...);

/*@dependent@*/ void *IupDialog(void *child);

/*@dependent@*/ void *IupFileDlg(void);

/*@dependent@*/ void *IupMessageDlg(void);

/*@dependent@*/ void *IupTimer(void);

// Randr additional annotations
void *xcb_connect (/*@null@*/ const char *display,
		/*@out@*/ int *screen );

void *xcb_randr_query_version_reply (void *c,
	void cookie,/*@out@*/ void **e);

/*@dependent@*/ const void *xcb_get_setup(void *c);

/*@dependent@*/ void *xcb_randr_get_screen_resources_current_crtcs(const void *R);

/*@dependent@*/ void *xcb_randr_get_crtc_gamma_red (const void *R);

/*@dependent@*/ void *xcb_randr_get_crtc_gamma_green (const void *R);

/*@dependent@*/ void *xcb_randr_get_crtc_gamma_blue (const void *R);

/*@dependent@*/ void *xcb_request_check(void* c,void cookie);

void *xcb_randr_get_crtc_gamma_reply(
		void *conn,void cookie,
		/*@out@*/ void *error);

// Win32 additional annotations
void GetSystemTimeAsFileTime(/*@out@*/ void *lpSystemTimeAsFileTime);

void *GetDC(/*@nulL@*/ void *hWnd);

int GetDeviceCaps(void *hdc,int nIndex);

short GetDeviceGammaRamp(void *hDC,/*@out@*/ void *lpRamp);

short SetDeviceGammaRamp(void *hDC,void*lpRamp);

int ReleaseDC(/*@null@*/ void *hWnd,void *hDC);



// vim:ft=c
